Enum isotope_parser::ast::Expr [−][src]
pub enum Expr { }
Expand description
An isotope
expression
Variants
An identifier
Var(u32)
A variable index
App(App)
A function application
Lambda(Lambda)
A lambda function
Pi(Pi)
A dependent function type
Universe(Universe)
A typing universe
Enum(Enum)
An enumeration
A variant
Boolean(bool)
A boolean value
Natural(BigUint)
A natural number
The type of booleans
The unit type
Case(Case)
A case expression
Annotated(Annotated)
An annotated term
Scope(Scope)
A scope
Implementations
pub fn pretty<'a, D, A>(&'a self, allocator: &'a D) -> DocBuilder<'a, D, A> where
D: DocAllocator<'a, A>,
D::Doc: Clone,
A: Clone,
[src]
pub fn pretty<'a, D, A>(&'a self, allocator: &'a D) -> DocBuilder<'a, D, A> where
D: DocAllocator<'a, A>,
D::Doc: Clone,
A: Clone,
[src]Prettyprint an expression
Convert an expression to a prettyprinted string
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Expr
impl UnwindSafe for Expr
Blanket Implementations
Mutably borrows from an owned value. Read more